1. An invitation to applied category theory :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.

رده :
QA9
.
25
.
F66
2019

2. An invitation to applied category theory :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;

3. Berechenbarkeit, Komplexität, Logik :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.

رده :
QA9
.
56
E366
1992

4. Combinatorics, computability and logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

5. Combinatorics, computability and logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

رده :
QA164
.
C733
2001

6. Computability: Computable Functions, Logic, And The Foundations Of Mathematics

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical

رده :
QA
9
,.
59
.
E67
‬

7. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :
QA
9
.
59
.
B6C6

8. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

9. Computability and logic

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
E-BOOK

10. Computability and logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
C64
1987

11. Computability and logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computable functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
C64
1987

12. Computability and logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6

13. Computability and logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;

14. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

15. Computability and logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6
1989

16. Computability and logic

پدیدآورنده :

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions

۵ نسخه از این کتاب در ۵ کتابخانه موجود است.

17. Computability, complexity, logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B6713

18. Computability, complexity, logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B6713
1989

19. Computability: computable functions, logic, and the foundations of mathematics

پدیدآورنده :

موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

20. Computability : computable functions, logic, and the foundations of mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
E67
1989